Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
631	An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:55 Temporal logic Mathematics Computing Formal methods Linear temporal logic Model checking Runtime verification Java Pathfinder Deadlock Theoretical computer science Concurrency Logic in computer science
632	New Developments in Artificial Intelligence and the Semantic Web Add to Reading List Source URL: www.stes.fi Language: English - Date: 2006-10-23 12:12:00 Cross-platform software Knowledge representation Unified Modeling Language Prolog Programming language Model-driven architecture XL Data model Model checking Computing Software engineering Computer programming
633	Model-based runtime analysis of distributed reactive systems Andreas Klaus Bauer Institut fu ¨ r Informatik Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-05-18 18:48:18 Computer science Software engineering Manfred Broy Runtime verification Model checking
634	8 Lab Profile Ensure Program Correctness Programming Languages Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2014-09-23 23:48:23 Logic in computer science Model checking Formal methods Programming language Concurrency Communications protocol Type system Abstraction Computer programming Computing Theoretical computer science Data
635	Content Algorithmic Verification Comp4151 Lecture 1 Ansgar Fehnker Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Logic in computer science Mathematics Model checkers Model checking Formal verification Electronic design automation Verification and validation Correctness Logic simulation Formal methods Theoretical computer science Applied mathematics
636	DOCTORAL CANDIDATE: Daniela Lepri DEGREE: Add to Reading List Source URL: www.mn.uio.no Language: English Model checking Academia Knowledge Logic Formal methods Temporal logic Mathematical logic Formal verification Rajeev Alur Formal sciences Model checkers Science
637	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 2, Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Diagrams Binary decision diagram Boolean algebra Model checking Graph theory Graph Directed acyclic graph Prolog Binary relation Mathematics Theoretical computer science Relational model
638	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
639	MOPS: an Infrastructure for Examining Security Properties of Software ∗ † Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 Control flow Setjmp.h Crime prevention National security User identifier Vulnerability Chroot Model checking Computer security System software Computing Software
640	A portable compiler-integrated approach to permanent checking Nic Volanschi ([removed]) mygcc Abstract. Program checking is now a mature technology, but is not yet used on a large scale. We identify one cause Add to Reading List Source URL: mygcc.free.fr Language: English - Date: 2007-11-27 16:18:13 Compiler construction Procedural programming languages Compiler Programming language implementation Parsing C Pattern matching Model checking GNU Compiler Collection Computing Software engineering Computer programming

UPDATE